Formal analysis of the Wnt/β-catenin pathway through statistical model checking
نویسندگان
چکیده
The Wnt/β-catenin signalling pathway plays an important role in the proliferation of neural cells, and hence it is the main focus of several research aimed at understanding neurodegenerative pathologies. In this paper we consider a compact model of the basic mechanisms of the Wnt/β-catenin pathway and we analyse its dynamics by application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic. This allows us to formally characterise, and effectively assess, sophisticated aspects of the Wnt/β-catenin pathway dynamics.
منابع مشابه
TGF-β1 enhanced myocardial differentiation through inhibition of the Wnt/β-catenin pathway with rat BMSCs
Objective(s): To investigate and test the hypotheses that TGF-β1 enhanced myocardial differentiation through Wnt/β-catenin pathway with rat bone marrow mesenchymal stem cells (BMSCs).Materials and Methods: Lentiviral vectors carrying the TGF-β1 gene were transduced into rat BMSCs firstly. Then several kinds of experimental methods were u...
متن کاملInteraction of viral oncogenic proteins with the Wnt signaling pathway
It is estimated that up to 20% of all types of human cancers worldwide are attributed to viruses. The genome of oncogenic viruses carries genes that have protein products that act as oncoproteins in cell proliferation and transformation. The modulation of cell cycle control mechanisms, cellular regulatory and signaling pathways by oncogenic viruses, plays an important role in viral carcinogenes...
متن کاملThe Canonical Wnt Signaling (Wnt/β-Catenin Pathway): A Potential Target for Cancer Prevention and Therapy
Precise regulation of signal transduction pathways is crucial for normal animal development and for maintaining cellular and tissue homeostasis in adults. The Wnt/Frizzled-mediated signaling includes canonical and non-canonical signal transduction pathways. Upregulation or downregulation of the canonical Wnt-signaling (or the Wnt/β-Catenin signal transduction) leads to a variety of human diseas...
متن کاملThe protective effect of propofol on hydrogen peroxide-induced human esophageal carcinoma via blocking the Wnt/β-catenin signaling pathway
Objective(s): To analyze the potential influences of propofol on the oxidative stress of H2O2-induced human esophageal squamous cell carcinoma (ESCC) Eca109 cell through mediating the Wnt/β-catenin signaling pathway.Materials and Methods: Eca109 cells were classified into 5 groups: Control group, H2O2 group, Propofol + H2O2 group, Dkk1 (Dickkopf-1, Wnt/β-catenin pathway antagonist) + H2O2 group...
متن کاملThe Role of Wnt/β-catenin Signaling Pathway in Rat Primordial Germ Cells Reprogramming and Induction into Pluripotent State
Primordial Germ Cells (PGCs) are unipotent precursors of the gametes. PGCs can give rise to a type of pluripotent stem cells in vitro that are called embryonic germ (EG) cells. PGCs can also acquire such pluripotency in vivo and generate teratomas. Under specific culture conditions, PGCs can be reprogrammed to embryonic germ cells which are capable of expression of key pluripotency marker...
متن کامل